Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach

On Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric

Let  be an n-dimensional Riemannian manifold, and  be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation  induces an infinitesimal homothetic transformation on .  Furthermore,  the correspondence   gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on  onto the Lie algebra of infinitesimal ...

A Characterization of the Infinitesimal Conformal Transformations on Tangent Bundles

Sasakian Metric as a Ricci Soliton and Related Results

We prove the following results: (i) A Sasakian metric as a nontrivial Ricci soliton is null η-Einstein, and expanding. Such a characterization permits to identify the Sasakian metric on the Heisenberg group H as an explicit example of (non-trivial) Ricci soliton of such type. (ii) If an ηEinstein contact metric manifold M has a vector field V leaving the structure tensor and the scalar curvatur...

Robustness of temporal logic specifications for continuous-time signals

In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL) formulas over signals that take values in metric spaces. For such signals, which are generated by systems whose states are equipped with non-trivial metrics, for example continuous or hybrid, robustness is not only natural, but also a critical measure of system performance. Thus, we propose multi-valued semantic...

A New Approach for Handling Null Values in Web Log Using KNN and Tabu Search KNN

When the data mining procedures deals with the extraction of interesting knowledge from web logs is known as Web usage mining. The result of any mining is successful, only if the dataset under consideration is well preprocessed. One of the important preprocessing steps is handling of null/missing values. Handlings of null values have been a great bit of test for researcher. Various methods are ...